Formal systems - PDFSEARCH.IO - Document Search Engine

Formal systems
Results: 1365

#	Item
231	30°EWGLAM Adriano Raspanti COSMO WG5 Coordinator and VERSUS Project Leader Add to Reading List Source URL: srnwp.met.hu Language: English - Date: 2008-10-29 05:41:08 Software engineering Formal methods Verification Software development process Ada Requirement Computing Software development Systems engineering
232	Bioinformatics Scientist – Job Description EMPLOYER RESPONSIBLE TO CONTRACT CLOSING DATE Add to Reading List Source URL: crcm.marseille.inserm.fr Language: English - Date: 2014-09-18 03:16:05 Bioinformatics Biostatistics Computational biology Mathematical and theoretical biology Biology Cancer research Systems biology Formal sciences Applied mathematics Bioengineering
233	Slide 1 What is Data Science? { Add to Reading List Source URL: www.becomingadatascientist.com Language: English - Date: 2014-11-19 22:44:24 Formal sciences Database management systems Database theory Machine learning Data analysis Data mining Big data Epilepsy Apache Hadoop Data management Technology Computing
234	The Big Data Revolution: What Does it Mean For Research Add to Reading List Source URL: sites.nationalacademies.org Language: English - Date: 2015-01-27 17:06:43 Science Formal sciences Database management systems Identity management Social issues Internet privacy Big data Information privacy Data analysis Technology Privacy Ethics
235	VOLT 2014 Workshop Report Moussa Amrani1 , Eugene Syriani2 , Manuel Wimmer3 , Robert Bill3 , Martin Gogolla4 , Frank Hermann5 , and Kevin Lano6 1 University of Namur, Belgium Add to Reading List Source URL: www.db.informatik.uni-bremen.de Language: English - Date: 2014-12-03 03:08:26 Software Graph rewriting VIATRA Formal methods Logic in computer science Object Constraint Language Model transformation language Kermeta Formal verification Unified Modeling Language Systems engineering Software engineering
236	VI.61. Jules Henri Poincaré Further Reading Cooke, RThe Mathematics of Sonya Kovalevskaya. Add to Reading List Source URL: press.princeton.edu Language: English - Date: 2008-08-22 12:44:37 Philosophers of mathematics Formal systems Giuseppe Peano Peano axioms Richard Dedekind Henri Poincaré Axiomatic system Axiom Philosophy of mathematics Mathematics Mathematical logic Number theorists
237	Journal of Intelligent Information Systems, 19:2, 231–259, 2002 c 2002 Kluwer Academic Publishers. Manufactured in The Netherlands. Hypothetical Temporal Reasoning in Databases∗ MARCELO ARENAS† Add to Reading List Source URL: web.ing.puc.cl Language: English - Date: 2013-04-26 05:57:02 Logical syntax Metalogic Model theory Formal languages First-order logic Situation calculus Frame problem Function Entailment Logic Mathematics Logic programming
238	Notes on Discrete Mathematics CS 202: Fall 2013 James Aspnes:23 Contents Add to Reading List Source URL: cs.yale.edu Language: English - Date: 2014-10-24 21:23:28 Elementary arithmetic Mathematical logic Formal systems Probability theory Normal distribution First-order logic Generating function Probability-generating function Function Mathematics Logic Binary operations
239	Department of Information Technology IV&V Guidelines [Which, e.g. Initial, Interim, Final] IV&V Report: [Agency Name] [Deliverable Name and/or #] Add to Reading List Source URL: www.doit.state.nm.us Language: English - Date: 2011-07-21 15:53:24 Technology Software quality Data security Formal methods Systems engineering process IT risk management Quality assurance Reliability engineering Software development process Systems engineering Science Information technology management
240	Mathematically Verified Software Kernels: Raising the Bar for High Assurance Implementations Dr Daniel Potts, VP of Engineering, General Dynamics C4 Systems Rene Bourquin, Member Technical Staff, General Dynamics C4 Syst Add to Reading List Source URL: sel4.systems Language: English - Date: 2014-07-28 22:03:39 Evaluation Trusted computing base Microkernel L4 microkernel family Real-time operating systems Gernot Heiser Formal verification Isabelle Formal methods Computer security Computer architecture Computing

UPDATE